Instance,nrRules,success,nrStates,n,runtime_ms
1,7,1,4,1,29
2,7,1,4,1,6
3,7,1,4,1,5
4,7,1,4,1,5
5,7,1,4,1,4
6,7,1,4,1,3
7,7,1,4,1,3
8,7,1,4,1,3
9,7,1,4,1,3
10,7,1,4,1,2
11,7,1,4,1,2
12,7,1,4,1,2
13,7,1,4,1,2
14,7,1,4,1,2
15,7,1,4,1,2
16,7,1,4,1,3
17,7,1,4,1,2
18,7,1,4,1,2
19,7,1,4,1,2
20,7,1,4,1,2
21,7,1,4,1,2
22,238,1,49,2,22
23,238,1,49,2,14
24,238,1,49,2,12
25,238,1,49,2,11
26,238,1,49,2,11
27,238,1,49,2,9
28,238,1,49,2,11
29,238,1,49,2,8
30,238,1,49,2,8
31,238,1,49,2,8
32,238,1,49,2,9
33,238,1,49,2,8
34,238,1,49,2,9
35,238,1,49,2,9
36,238,1,49,2,9
37,238,1,49,2,7
38,238,1,49,2,6
39,238,1,49,2,6
40,238,1,49,2,7
41,238,1,49,2,8
42,238,1,49,2,7
43,238,1,49,2,6
44,238,1,49,2,6
45,238,1,49,2,6
46,238,1,49,2,6
47,238,1,49,2,5
48,238,1,49,2,5
49,238,1,49,2,5
50,238,1,49,2,5
51,238,1,49,2,5
52,238,1,49,2,5
53,238,1,49,2,5
54,238,1,49,2,5
55,238,1,49,2,5
56,238,1,49,2,6
57,238,1,49,2,4
58,238,1,49,2,5
59,238,1,49,2,4
60,238,1,49,2,5
61,238,1,49,2,4
62,238,1,49,2,4
63,238,1,49,2,4
64,238,1,49,2,3
65,238,1,49,2,3
66,238,1,49,2,3
67,238,1,49,2,3
68,238,1,49,2,3
69,238,1,49,2,3
70,238,1,49,2,3
71,238,1,49,2,3
72,238,1,49,2,3
73,238,1,49,2,3
74,238,1,49,2,3
75,238,1,49,2,3
76,238,1,49,2,3
77,238,1,49,2,2
78,238,1,49,2,2
79,238,1,49,2,2
80,238,1,49,2,3
81,238,1,49,2,3
82,238,1,49,2,3
83,238,1,49,2,3
84,238,1,49,2,2
85,238,1,49,2,3
86,238,1,49,2,2
87,238,1,49,2,2
88,238,1,49,2,2
89,238,1,49,2,2
90,238,1,49,2,2
91,238,1,49,2,2
92,238,1,49,2,2
93,238,1,49,2,3
94,238,1,49,2,3
95,238,1,49,2,3
96,238,1,49,2,3
97,238,1,49,2,3
98,238,1,49,2,3
99,238,1,49,2,2
100,238,1,49,2,2
101,238,1,49,2,2
102,238,1,49,2,2
103,238,1,49,2,2
104,238,1,49,2,2
105,238,1,49,2,2
106,238,1,49,2,2
107,238,1,49,2,2
108,238,1,49,2,2
109,238,1,49,2,2
110,238,1,49,2,2
111,238,1,49,2,2
112,238,1,49,2,2
113,238,1,49,2,2
114,238,1,49,2,2
115,238,1,49,2,2
116,238,1,49,2,2
117,238,1,49,2,2
118,238,1,49,2,2
119,238,1,49,2,2
120,238,1,49,2,2
121,660,1,97,2,4
122,238,1,49,2,2
123,238,1,49,2,2
124,238,1,49,2,2
125,238,1,49,2,2
126,238,1,49,2,2
127,238,1,49,2,2
128,238,1,49,2,3
129,238,1,49,2,2
130,238,1,49,2,2
131,238,1,49,2,2
132,238,1,49,2,2
133,238,1,49,2,2
134,238,1,49,2,2
135,238,1,49,2,2
136,238,1,49,2,2
137,238,1,49,2,2
138,238,1,49,2,2
139,238,1,49,2,2
140,238,1,49,2,2
141,238,1,49,2,2
142,238,1,49,2,2
143,238,1,49,2,2
144,238,1,49,2,2
145,238,1,49,2,2
146,238,1,49,2,2
147,238,1,49,2,2
148,238,1,49,2,2
149,238,1,49,2,2
150,2893,1,304,3,18
151,2893,1,304,3,15
152,2893,1,304,3,16
153,2893,1,304,3,16
154,2893,1,304,3,15
155,2893,1,304,3,15
156,2893,1,304,3,15
157,2893,1,304,3,15
158,2893,1,304,3,16
159,2893,1,304,3,16
160,2893,1,304,3,15
161,2629,1,304,3,16
162,2893,1,304,3,18
163,2893,1,304,3,20
164,2893,1,304,3,16
165,2893,1,304,3,15
166,2629,1,304,3,14
167,2629,1,304,3,14
168,2893,1,304,3,13
169,2893,1,304,3,12
170,2893,1,304,3,12
171,2629,1,304,3,12
172,6597,1,532,3,25
173,2893,1,304,3,17
174,6597,1,532,3,36
175,2893,1,304,3,21
176,2893,1,304,3,18
177,2893,1,304,3,17
178,2629,1,304,3,15
179,2893,1,304,3,12
180,2893,1,304,3,12
181,6597,1,532,3,23
182,2893,1,304,3,13
183,2629,1,304,3,12
184,2893,1,304,3,12
185,2893,1,304,3,12
186,6597,1,532,3,24
187,2893,1,304,3,12
188,2893,1,304,3,12
189,2629,1,304,3,12
190,2893,1,304,3,15
191,2893,1,304,3,13
192,6597,1,532,3,25
193,2893,1,304,3,13
194,2629,1,304,3,13
195,2629,1,304,3,13
196,2893,1,304,3,13
197,2629,1,304,3,13
198,2893,1,304,3,12
199,2893,1,304,3,12
200,2893,1,304,3,12
201,2893,1,304,3,12
202,2893,1,304,3,12
203,2893,1,304,3,12
204,2893,1,304,3,12
205,2893,1,304,3,12
206,2893,1,304,3,13
207,2893,1,304,3,12
208,2629,1,304,3,12
209,2893,1,304,3,13
210,2629,1,304,3,12
211,2893,1,304,3,12
212,2893,1,304,3,12
213,2629,1,304,3,12
214,2893,1,304,3,12
215,2893,1,304,3,19
216,2893,1,304,3,18
217,2893,1,304,3,18
218,2893,1,304,3,19
219,2893,1,304,3,19
220,2629,1,304,3,19
221,2629,1,304,3,18
222,2893,1,304,3,30
223,6597,1,532,3,34
224,2893,1,304,3,18
225,6597,1,532,3,47
226,2893,1,304,3,29
227,2893,1,304,3,17
228,2893,1,304,3,27
229,2893,1,304,3,22
230,2893,1,304,3,34
231,2893,1,304,3,20
232,2893,1,304,3,28
233,2629,1,304,3,28
234,2629,1,304,3,28
235,2893,1,304,3,29
236,2893,1,304,3,28
237,2893,1,304,3,28
238,2893,1,304,3,28
239,6597,1,532,3,63
240,2893,1,304,3,27
241,6597,1,532,3,52
242,2629,1,304,3,28
243,2893,1,304,3,28
244,2893,1,304,3,28
245,2893,1,304,3,26
246,2629,1,304,3,28
247,2893,1,304,3,15
248,2893,1,304,3,18
249,2893,1,304,3,22
250,2893,1,304,3,16
251,2893,1,304,3,16
252,2893,1,304,3,15
253,2893,1,304,3,15
254,2893,1,304,3,30
255,2629,1,304,3,31
256,2629,1,304,3,34
257,2893,1,304,3,28
258,2893,1,304,3,27
259,2893,1,304,3,27
260,2893,1,304,3,27
261,2893,1,304,3,27
262,2893,1,304,3,28
263,2893,1,304,3,15
264,2893,1,304,3,15
265,2893,1,304,3,15
266,2893,1,304,3,15
267,2893,1,304,3,15
268,2629,1,304,3,15
269,2893,1,304,3,15
270,18448,1,1213,4,97
271,11848,1,1177,4,91
272,28620,1,1669,4,122
273,14752,1,1177,4,63
274,13636,1,1213,4,68
275,14752,1,1177,4,62
276,13636,1,1213,4,70
277,18448,1,1213,4,72
278,13636,1,1213,4,71
279,18448,1,1213,4,72
280,24300,1,1669,4,100
281,14752,1,1177,4,75
282,11848,1,1177,4,67
283,26946,1,1981,4,132
284,14752,1,1177,4,63
285,18448,1,1213,4,70
286,14752,1,1177,4,62
287,11848,1,1177,4,61
288,18448,1,1213,4,70
289,14752,1,1177,4,62
290,18448,1,1213,4,71
291,18448,1,1213,4,70
292,14752,1,1177,4,62
293,28620,1,1669,4,106
294,14752,1,1177,4,62
295,33332,1,1945,4,170
296,18448,1,1213,4,102
297,14752,1,1177,4,80
298,18448,1,1213,4,70
299,18448,1,1213,4,74
300,13636,1,1213,4,69
301,18448,1,1213,4,70
302,33332,1,1945,4,120
303,28620,1,1669,4,108
304,14752,1,1177,4,69
305,13636,1,1213,4,80
306,24300,1,1669,4,108
307,18448,1,1213,4,70
308,14752,1,1177,4,67
309,28620,1,1669,4,101
310,18448,1,1213,4,71
311,18448,1,1213,4,70
312,14752,1,1177,4,62
313,28620,1,1669,4,112
314,18448,1,1213,4,72
315,18448,1,1213,4,70
316,24300,1,1669,4,106
317,18448,1,1213,4,78
318,18448,1,1213,4,90
319,14752,1,1177,4,63
320,14752,1,1177,4,77
321,18448,1,1213,4,77
322,24300,1,1669,4,120
323,14752,1,1177,4,81
324,39798,1,1981,4,197
325,14752,1,1177,4,91
326,14752,1,1177,4,91
327,14752,1,1177,4,93
328,18448,1,1213,4,97
329,18448,1,1213,4,89
330,18448,1,1213,4,87
331,14752,1,1177,4,79
332,18448,1,1213,4,88
333,24300,1,1669,4,124
334,14752,1,1177,4,83
335,14752,1,1177,4,80
336,18448,1,1213,4,89
337,17124,1,1669,4,122
338,17124,1,1669,4,169
339,14752,1,1177,4,80
340,14752,1,1177,4,64
341,18448,1,1213,4,70
342,17124,1,1669,4,97
343,14752,1,1177,4,68
344,28620,1,1669,4,107
345,18448,1,1213,4,75
346,14752,1,1177,4,63
347,14752,1,1177,4,63
348,14752,1,1177,4,62
349,11848,1,1177,4,61
350,14752,1,1177,4,64
351,28620,1,1669,4,103
352,14752,1,1177,4,63
353,18448,1,1213,4,73
354,11848,1,1177,4,63
355,14752,1,1177,4,64
356,14752,1,1177,4,64
357,14752,1,1177,4,63
358,11848,1,1177,4,63
359,14752,1,1177,4,64
360,14752,1,1177,4,62
361,18448,1,1213,4,70
362,14752,1,1177,4,63
363,14752,1,1177,4,67
364,14752,1,1177,4,67
365,24300,1,1669,4,100
366,14752,1,1177,4,66
367,14752,1,1177,4,67
368,14752,1,1177,4,101
369,13636,1,1213,4,106
370,14752,1,1177,4,98
371,18448,1,1213,4,91
372,18448,1,1213,4,95
373,18448,1,1213,4,95
374,18448,1,1213,4,87
375,14752,1,1177,4,78
376,14752,1,1177,4,80
377,14752,1,1177,4,92
378,24300,1,1669,4,131
379,14752,1,1177,4,78
380,14752,1,1177,4,79
381,14752,1,1177,4,86
382,18448,1,1213,4,91
383,18448,1,1213,4,88
384,14752,1,1177,4,83
385,14752,1,1177,4,79
386,13636,1,1213,4,137
387,14752,1,1177,4,115
388,19398,1,1585,4,104
389,14752,1,1177,4,85
390,18448,1,1213,4,136
391,13636,1,1213,4,100
392,14752,1,1177,4,79
393,14752,1,1177,4,86
394,18448,1,1213,4,90
395,14752,1,1177,4,67
396,14752,1,1177,4,71
397,18448,1,1213,4,72
398,18448,1,1213,4,78
399,13636,1,1213,4,88
400,14752,1,1177,4,87
401,11848,1,1177,4,83
402,14752,1,1177,4,86
403,28620,1,1669,4,134
404,13636,1,1213,4,88
405,14752,1,1177,4,80
406,14752,1,1177,4,80
407,13636,1,1213,4,92
408,28620,1,1669,4,128
409,22244,1,1945,4,160
410,18448,1,1213,4,88
411,13636,1,1213,4,87
412,14752,1,1177,4,78
413,18448,1,1213,4,88
414,18448,1,1213,4,91
415,14752,1,1177,4,80
416,13636,1,1213,4,86
417,28620,1,1669,4,176
418,13636,1,1213,4,111
419,18448,1,1213,4,115
420,14752,1,1177,4,88
421,18448,1,1213,4,87
422,24300,1,1669,4,123
423,14752,1,1177,4,81
424,14752,1,1177,4,79
425,24300,1,1669,4,125
426,13636,1,1213,4,86
427,24300,1,1669,4,124
428,13636,1,1213,4,86
429,13636,1,1213,4,86
430,18448,1,1213,4,88
431,14752,1,1177,4,78
432,18448,1,1213,4,84
433,18448,1,1213,4,69
434,18448,1,1213,4,71
435,13636,1,1213,4,76
436,14752,1,1177,4,63
437,14752,1,1177,4,62
438,14752,1,1177,4,62
439,13636,1,1213,4,69
440,14752,1,1177,4,66
441,13636,1,1213,4,68
442,18448,1,1213,4,71
443,18448,1,1213,4,74
444,40855,1,3442,5,279
445,114105,1,4882,5,439
446,93139,1,4018,5,423
447,48483,1,3706,5,258
448,87039,1,4174,5,447
449,60187,1,4018,5,466
450,93139,1,4018,5,539
451,64699,1,3442,5,381
452,93139,1,4018,5,438
453,64699,1,3442,5,336
454,93139,1,4018,5,436
455,43987,1,3202,5,268
456,43987,1,3202,5,264
457,43987,1,3202,5,276
458,64699,1,3442,5,330
459,93139,1,4018,5,482
460,51525,1,3742,5,300
461,40855,1,3442,5,314
462,51525,1,3742,5,311
463,73451,1,4942,5,490
464,43987,1,3202,5,288
465,64699,1,3442,5,330
466,51525,1,3742,5,308
467,32563,1,3202,5,263
468,87039,1,4174,5,408
469,93139,1,4018,5,529
470,40855,1,3442,5,259
471,43987,1,3202,5,242
472,55483,1,3442,5,262
473,60187,1,4018,5,386
474,40855,1,3442,5,256
475,93139,1,4018,5,374
476,40855,1,3442,5,307
477,64699,1,3442,5,340
478,93139,1,4018,5,511
479,51525,1,3742,5,292
480,55483,1,3442,5,320
481,87039,1,4174,5,406
482,93139,1,4018,5,430
483,93139,1,4018,5,425
484,93139,1,4018,5,428
485,43987,1,3202,5,239
486,27701,1,3142,5,218
487,51525,1,3742,5,256
488,44095,1,3202,5,238
489,40855,1,3442,5,306
490,87039,1,4174,5,370
491,0,0,1689,5,108
492,63981,1,4882,5,506
493,87039,1,4174,5,440
494,51525,1,3742,5,312
495,87039,1,4174,5,411
496,64699,1,3442,5,324
497,43987,1,3202,5,264
498,113403,1,4690,5,521
499,110027,1,4942,5,528
500,60187,1,4018,5,420
501,93139,1,4018,5,446
502,87039,1,4174,5,404
503,43987,1,3202,5,265
504,87039,1,4174,5,411
505,55483,1,3442,5,332
506,55483,1,3442,5,332
507,66261,1,3742,5,357
508,60187,1,4018,5,559
509,64699,1,3442,5,266
510,43987,1,3202,5,241
511,51189,1,3742,5,252
512,55483,1,3442,5,271
513,44095,1,3202,5,214
514,113403,1,4690,5,529
515,64699,1,3442,5,298
516,64699,1,3442,5,265
517,61791,1,4690,5,438
518,55483,1,3442,5,294
519,113403,1,4690,5,448
520,58185,1,4114,5,392
521,55483,1,3442,5,322
522,64699,1,3442,5,326
523,113403,1,4690,5,528
524,44095,1,3202,5,279
525,64699,1,3442,5,322
526,63299,1,3886,5,351
527,87039,1,4174,5,419
528,55483,1,3442,5,320
529,44095,1,3202,5,312
530,64699,1,3442,5,460
531,34893,1,3742,5,254
532,93139,1,4018,5,381
533,40855,1,3442,5,281
534,44095,1,3202,5,243
535,87039,1,4174,5,336
536,43987,1,3202,5,277
537,55483,1,3442,5,339
538,55483,1,3442,5,321
539,55483,1,3442,5,319
540,55483,1,3442,5,320
541,55483,1,3442,5,322
542,55483,1,3442,5,322
543,44095,1,3202,5,269
544,93139,1,4018,5,430
545,43987,1,3202,5,297
546,55483,1,3442,5,332
547,66261,1,3742,5,338
548,60187,1,4018,5,428
549,51525,1,3742,5,311
550,55483,1,3442,5,319
551,44095,1,3202,5,264
552,60187,1,4018,5,456
553,27701,1,3142,5,240
554,64699,1,3442,5,331
555,44095,1,3202,5,267
556,40855,1,3442,5,375
557,60187,1,4018,5,416
558,40855,1,3442,5,321
559,43987,1,3202,5,308
560,61791,1,4690,5,499
561,68151,1,4174,5,432
562,44095,1,3202,5,268
563,61791,1,4690,5,466
564,64699,1,3442,5,338
565,87039,1,4174,5,408
566,44095,1,3202,5,279
567,43987,1,3202,5,261
568,64699,1,3442,5,321
569,64699,1,3442,5,438
570,60187,1,4018,5,421
571,87039,1,4174,5,402
572,40855,1,3442,5,285
573,113403,1,4690,5,401
574,64699,1,3442,5,313
575,60187,1,4018,5,376
576,64699,1,3442,5,313
577,133781,1,5530,5,502
578,87339,1,4690,5,418
579,63155,1,4570,5,361
580,55483,1,3442,5,392
581,64699,1,3442,5,330
582,60187,1,4018,5,417
583,64699,1,3442,5,370
584,64699,1,3442,5,341
585,64699,1,3442,5,334
586,48483,1,3706,5,335
587,44095,1,3202,5,276
588,64699,1,3442,5,325
589,64699,1,3442,5,340
590,44095,1,3202,5,263
591,93139,1,4018,5,461
592,55483,1,3442,5,350
593,43987,1,3202,5,280
594,40855,1,3442,5,437
595,44095,1,3202,5,266
596,44095,1,3202,5,262
597,68151,1,4174,5,404
598,51525,1,3742,5,310
599,51189,1,3742,5,316
600,60187,1,4018,5,414
601,60187,1,4018,5,436
602,64699,1,3442,5,329
603,61791,1,4690,5,501
604,41467,1,3442,5,330
605,64699,1,3442,5,341
606,64699,1,3442,5,348
607,87039,1,4174,5,435
608,48483,1,3706,5,407
609,44095,1,3202,5,272
610,40855,1,3442,5,315
611,27701,1,3142,5,250
612,40855,1,3442,5,335
613,55483,1,3442,5,377
614,44095,1,3202,5,268
615,44095,1,3202,5,265
616,90153,1,4882,5,538
617,44095,1,3202,5,315
618,44095,1,3202,5,292
619,44095,1,3202,5,262
620,55483,1,3442,5,347
621,64699,1,3442,5,350
622,44095,1,3202,5,281
623,66261,1,3742,5,339
624,44095,1,3202,5,275
625,51525,1,3742,5,385
626,93139,1,4018,5,427
627,64699,1,3442,5,327
628,38213,1,3574,5,279
629,43987,1,3202,5,264
630,93139,1,4018,5,449
631,60187,1,4018,5,479
632,44095,1,3202,5,280
633,87039,1,4174,5,435
634,48483,1,3706,5,319
635,55483,1,3442,5,318
636,64699,1,3442,5,336
637,40855,1,3442,5,332
638,55483,1,3442,5,330
639,43987,1,3202,5,273
640,60187,1,4018,5,468
641,55483,1,3442,5,327
642,48483,1,3706,5,314
643,44095,1,3202,5,308
644,32563,1,3202,5,286
645,93139,1,4018,5,452
646,64699,1,3442,5,342
647,64699,1,3442,5,328
648,60187,1,4018,5,442
649,87039,1,4174,5,421
650,60187,1,4018,5,422
651,55483,1,3442,5,360
652,34893,1,3742,5,309
653,113403,1,4690,5,525
654,64699,1,3442,5,436
655,64699,1,3442,5,346
656,55483,1,3442,5,321
657,32563,1,3202,5,258
658,93139,1,4018,5,428
659,123178,1,7465,6,814
660,95266,1,6913,6,666
661,261622,1,9313,6,1236
662,155290,1,7465,6,804
663,156442,1,7657,6,929
664,123178,1,7465,6,829
665,155290,1,7465,6,824
666,229614,1,9025,6,1051
667,206734,1,8449,6,1164
668,246082,1,12025,6,1902
669,79608,1,7681,6,774
670,146350,1,9313,6,1284
671,90118,1,7657,6,809
672,156442,1,7657,6,831
673,146350,1,9313,6,1303
674,246082,1,12025,6,1944
675,155290,1,7465,6,810
676,206734,1,8449,6,1059
677,156442,1,7657,6,872
678,157008,1,7681,6,842
679,146350,1,9313,6,1199
680,127102,1,7657,6,884
681,163050,1,7969,6,903
682,246082,1,12025,6,1927
683,95266,1,6913,6,634
684,123178,1,7465,6,788
685,214608,1,12265,6,1593
686,155290,1,7465,6,912
687,146350,1,9313,6,1205
688,79608,1,7681,6,753
689,157344,1,7681,6,790
690,206734,1,8449,6,1050
691,119674,1,8449,6,1045
692,123178,1,7465,6,852
693,43348,1,5713,6,492
694,121758,1,7033,6,653
695,157008,1,7681,6,795
696,120558,1,7129,6,661
697,206734,1,8449,6,1049
698,281802,1,10153,6,1363
699,90118,1,7657,6,850
700,116112,1,7681,6,879
701,246082,1,12025,6,1852
702,246082,1,12025,6,1863
703,206734,1,8449,6,1058
704,119674,1,8449,6,1079
705,241754,1,12169,6,1838
706,206734,1,8449,6,1056
707,157344,1,7681,6,804
708,206734,1,8449,6,1046
709,90246,1,7033,6,617
710,0,0,3540,6,185
711,106230,1,7825,6,796
712,156442,1,7657,6,828
713,127870,1,7657,6,836
714,123178,1,7465,6,851
715,119674,1,8449,6,1027
716,123178,1,7465,6,791
717,109144,1,9241,6,1067
718,149478,1,7825,6,856
719,119674,1,8449,6,1050
720,95002,1,6913,6,788
721,171468,1,9769,6,1152
722,0,0,5424,6,411
723,232382,1,8881,6,1123
724,261622,1,9313,6,1257
725,90246,1,7033,6,634
726,119674,1,8449,6,1119
727,155290,1,7465,6,814
728,123178,1,7465,6,920
729,155290,1,7465,6,904
730,146350,1,9313,6,1271
731,80856,1,6697,6,586
732,146350,1,9313,6,1200
733,80400,1,6697,6,593
734,79608,1,7681,6,785
735,206734,1,8449,6,1136
736,94250,1,6361,6,649
737,94250,1,6361,6,589
738,145498,1,9313,6,1356
739,146350,1,9313,6,1248
740,79608,1,7681,6,755
741,158430,1,9025,6,1009
742,95002,1,6913,6,645
743,95002,1,6913,6,641
744,95002,1,6913,6,648
745,149478,1,7825,6,921
746,106230,1,7825,6,839
747,146350,1,9313,6,1240
748,127870,1,7657,6,825
749,159486,1,7825,6,820
750,212634,1,10153,6,1454
751,113874,1,9025,6,998
752,123178,1,7465,6,1052
753,115224,1,7681,6,791
754,115224,1,7681,6,771
755,202570,1,9313,6,1216
756,113874,1,9025,6,1083
757,95002,1,6913,6,636
758,155290,1,7465,6,808
759,95002,1,6913,6,662
760,202570,1,9313,6,1231
761,261622,1,9313,6,1334
762,118032,1,6697,6,615
763,261622,1,9313,6,1236
764,146350,1,9313,6,1255
765,123178,1,7465,6,857
766,93796,1,6409,6,572
767,85278,1,7129,6,656
768,116112,1,7681,6,799
769,155290,1,7465,6,914
770,123178,1,7465,6,796
771,206734,1,8449,6,1177
772,261622,1,9313,6,1293
773,246082,1,12025,6,1918
774,146350,1,9313,6,1207
775,85558,1,7465,6,1001
776,95266,1,6913,6,643
777,116112,1,7681,6,780
778,115224,1,7681,6,801
779,123178,1,7465,6,915
780,123178,1,7465,6,837
781,123178,1,7465,6,808
782,123178,1,7465,6,803
783,92022,1,7129,6,651
784,79608,1,7681,6,784
785,123178,1,7465,6,878
786,116112,1,7681,6,833
787,90118,1,7657,6,848
788,83094,1,7825,6,817
789,0,0,5604,6,456
790,90118,1,7657,6,798
791,157008,1,7681,6,811
792,156442,1,7657,6,881
793,127102,1,7657,6,843
794,155290,1,7465,6,813
795,95266,1,6913,6,680
796,146350,1,9313,6,1287
797,119674,1,8449,6,1020
798,127870,1,7657,6,936
799,261622,1,9313,6,1313
800,80400,1,6697,6,585
801,152274,1,10153,6,1304
802,123178,1,7465,6,803
803,145770,1,10153,6,1346
804,96644,1,8041,6,1047
805,127870,1,7657,6,822
806,123178,1,7465,6,808
807,123178,1,7465,6,827
808,112932,1,8977,6,970
809,146350,1,9313,6,1198
810,146350,1,9313,6,1210
811,146350,1,9313,6,1202
812,157344,1,7681,6,812
813,52292,1,6577,6,648
814,41204,1,5473,6,496
815,85278,1,7129,6,688
816,95002,1,6913,6,641
817,127870,1,7657,6,823
818,299292,1,10945,6,1556
819,90118,1,7657,6,804
820,127102,1,7657,6,814
821,308214,1,10153,6,1403
822,104746,1,6721,6,891
823,261622,1,9313,6,1245
824,127870,1,7657,6,858
825,123178,1,7465,6,821
826,112698,1,7969,6,851
827,202570,1,9313,6,1219
828,146350,1,9313,6,1206
829,119674,1,8449,6,1033
830,146350,1,9313,6,1232
831,127102,1,7657,6,844
832,123178,1,7465,6,822
833,123178,1,7465,6,822
834,308214,1,10153,6,1361
835,206734,1,8449,6,1059
836,261622,1,9313,6,1258
837,119674,1,8449,6,1031
838,95266,1,6913,6,655
839,123178,1,7465,6,818
840,155290,1,7465,6,820
841,109604,1,8041,6,826
842,320724,1,10945,6,1546
843,146350,1,9313,6,1220
844,90118,1,7657,6,806
845,0,0,5244,6,446
846,684673,1,20200,7,3584
847,532905,1,17512,7,2198
848,298345,1,14392,7,1503
849,405361,1,16156,7,2255
850,302833,1,15676,7,2488
851,236079,1,16660,7,2256
852,555121,1,18028,7,3090
853,123297,1,12736,7,1321
854,319369,1,16156,7,2311
855,960601,1,33712,7,7812
856,402313,1,15676,7,2166
857,230389,1,14392,7,1746
858,156783,1,13972,7,1646
859,202739,1,13432,7,1580
860,514329,1,21724,7,3502
861,526045,1,24292,7,4708
862,162673,1,14008,7,1651
863,374949,1,21724,7,3455
864,392485,1,15676,7,2164
865,171769,1,12844,7,1341
866,486489,1,16900,7,2433
867,486489,1,16900,7,2321
868,684673,1,20200,7,3474
869,231401,1,13900,7,1703
870,158265,1,12472,7,1211
871,225373,1,14008,7,1626
872,405361,1,16156,7,2208
873,248577,1,12736,7,1555
874,196671,1,11812,7,1106
875,555121,1,18028,7,2836
876,235945,1,18472,7,2935
877,267653,1,12388,7,1370
878,1075809,1,31912,7,6651
879,77525,1,7828,7,688
880,526045,1,24292,7,4576
881,330743,1,13456,7,1627
882,388849,1,17632,7,2685
883,383281,1,20200,7,3261
884,0,0,6945,7,489
885,208357,1,13444,7,1580
886,392485,1,15676,7,2141
887,90443,1,9832,7,950
888,225373,1,14008,7,1510
889,295561,1,14008,7,1591
890,0,0,11769,7,1077
891,394273,1,18028,7,2676
892,684673,1,20200,7,3627
893,327459,1,15220,7,1672
894,330671,1,18304,7,2038
895,122585,1,12580,7,1263
896,84137,1,11404,7,991
897,552493,1,17632,7,2294
898,225769,1,14008,7,1562
899,428557,1,22696,7,3441
900,447939,1,16660,7,2487
901,207421,1,15676,7,2117
902,224151,1,13972,7,1790
903,120435,1,12376,7,1290
904,375973,1,20200,7,3539
905,106271,1,9988,7,932
906,208851,1,17176,7,2082
907,282673,1,18028,7,2631
908,231601,1,14392,7,1661
909,319369,1,16156,7,2182
910,288377,1,17032,7,2379
911,397237,1,18028,7,2823
912,122379,1,12376,7,1305
913,223465,1,14008,7,1562
914,224151,1,13972,7,1572
915,397237,1,18028,7,2317
916,684673,1,20200,7,3160
917,449163,1,16660,7,2317
918,183681,1,13396,7,1429
919,305433,1,18616,7,2933
920,388849,1,17632,7,3150
921,290221,1,13444,7,1351
922,243003,1,14836,7,1471
923,173257,1,12844,7,1075
924,295561,1,14008,7,1413
925,113525,1,9712,7,804
926,1194617,1,25012,7,4174
927,224151,1,13972,7,1685
928,392485,1,15676,7,2169
929,225373,1,14008,7,1642
930,205581,1,15016,7,1800
931,223465,1,14008,7,1914
932,315945,1,17080,7,1981
933,295561,1,14008,7,1394
934,402313,1,15676,7,1834
935,231025,1,14392,7,1396
936,290221,1,13444,7,1362
937,258945,1,13660,7,1313
938,221691,1,16660,7,1870
939,236079,1,16660,7,1888
940,316527,1,13972,7,1476
941,243003,1,14836,7,1483
942,122585,1,12580,7,1271
943,295561,1,14008,7,1406
944,230389,1,14392,7,1519
945,224931,1,12376,7,1329
946,592389,1,18616,7,3039
947,269153,1,14104,7,1662
948,405361,1,16156,7,2309
949,118157,1,10516,7,1044
950,314149,1,14800,7,2013
951,397237,1,18028,7,2868
952,90443,1,9832,7,943
953,0,0,7185,7,511
954,244503,1,12376,7,1446
955,592389,1,18616,7,3131
956,317415,1,13972,7,1727
957,522093,1,17080,7,2480
958,375973,1,20200,7,3983
959,375973,1,20200,7,3540
960,309897,1,17608,7,2517
961,225769,1,14008,7,1705
962,156493,1,14008,7,1656
963,290221,1,13444,7,1720
964,276853,1,17632,7,2691
965,576533,1,17572,7,2984
966,462309,1,17608,7,2623
967,223465,1,14008,7,1640
968,221691,1,16660,7,2376
969,555121,1,18028,7,2726
970,751537,1,20200,7,3718
971,526045,1,24292,7,4826
972,302833,1,15676,7,2159
973,402313,1,15676,7,2146
974,392485,1,15676,7,2171
975,84137,1,11404,7,1202
976,526045,1,24292,7,4617
977,751537,1,20200,7,3640
978,276853,1,17632,7,2597
979,269435,1,13432,7,1607
980,315945,1,17080,7,2418
981,388849,1,17632,7,2229
982,223465,1,14008,7,1371
983,302833,1,15676,7,1830
984,1012609,1,24292,7,4263
985,460437,1,17512,7,2129
986,971295,1,24520,7,4791
987,316527,1,13972,7,1820
988,751537,1,20200,7,3728
989,360448,1,23413,8,2976
990,465252,1,28117,8,4451
991,618772,1,33661,8,6146
992,2322340,1,48097,8,13577
993,345036,1,26401,8,3668
994,0,0,28224,8,3820
995,490552,1,26545,8,3419
996,834474,1,33289,8,5969
997,266320,1,23413,8,2931
998,1175500,1,34645,8,7187
999,270162,1,20641,8,2654
1000,1329316,1,33661,8,6582
1001,1278040,1,48097,8,13451
1002,363052,1,23605,8,3327
1003,461704,1,29905,8,5001
1004,356520,1,24145,8,3376
1005,356520,1,24145,8,3129
1006,614946,1,33289,8,6154
1007,364584,1,21061,8,2416
1008,595720,1,25129,8,3655
1009,351564,1,26761,8,3804
1010,1691574,1,37321,8,7607
1011,972568,1,29905,8,4955
1012,1706762,1,39973,8,8420
1013,809480,1,25873,8,4427
1014,106988,1,13465,8,1380
1015,1175500,1,34645,8,7202
1016,1398900,1,38197,8,8059
1017,361012,1,23605,8,2897
1018,321312,1,18565,8,2052
1019,1122856,1,44089,8,10933
1020,1336612,1,34645,8,6675
1021,769390,1,23161,8,3533
1022,322700,1,20953,8,2756
1023,364584,1,21061,8,2555
1024,361012,1,23605,8,3296
1025,136568,1,16057,8,1848
1026,443136,1,29581,8,4949
1027,398550,1,27757,8,4758
1028,126518,1,16945,8,2234
1029,865920,1,27625,8,4928
1030,904288,1,26161,8,4368
1031,1287784,1,41989,8,9765
1032,845472,1,30037,8,5047
1033,2322340,1,48097,8,13959
1034,455916,1,23521,8,3198
1035,85900,1,12109,8,1109
1036,500728,1,23485,8,3596
1037,968946,1,27757,8,4765
1038,0,0,8052,8,508
1039,233612,1,16201,8,1680
1040,1152520,1,33661,8,6452
1041,379468,1,24949,8,4218
1042,658696,1,26545,8,4552
1043,1024258,1,30109,8,5328
1044,477172,1,26257,8,4009
1045,965752,1,29137,8,5078
1046,952950,1,34897,8,6176
1047,858202,1,28297,8,4610
1048,226574,1,15781,8,1905
1049,476796,1,26761,8,3952
1050,490552,1,26545,8,3960
1051,1122856,1,44089,8,11708
1052,0,0,6234,8,341
1053,350610,1,22597,8,2813
1054,585484,1,21889,8,3078
1055,786768,1,26761,8,3995
1056,1238272,1,48097,8,12069
1057,606528,1,24889,8,3366
1058,649252,1,30697,8,4990
1059,912760,1,41989,8,9774
1060,479054,1,24325,8,2998
1061,82238,1,12709,8,1169
1062,333880,1,25873,8,3778
1063,479020,1,22477,8,2846
1064,136690,1,16513,8,1874
1065,978304,1,30697,8,5066
1066,764466,1,33577,8,5591
1067,404834,1,28345,8,4090
1068,313904,1,25309,8,4028
1069,233006,1,21301,8,3192
1070,645124,1,25873,8,3854
1071,363892,1,23605,8,3112
1072,258328,1,23605,8,3025
1073,743118,1,37321,8,7581
1074,635680,1,29905,8,4837
1075,622122,1,26869,8,3563
1076,110480,1,13825,8,1415
1077,219594,1,19225,8,2082
1078,390648,1,22201,8,2680
1079,928396,1,41989,8,9124
1080,360904,1,23413,8,2917
1081,0,0,19266,8,2261
1082,618772,1,33661,8,6208
1083,282628,1,21529,8,2470
1084,1290948,1,34069,8,5979
1085,480404,1,20101,8,2706
1086,972568,1,29905,8,5105
1087,404600,1,25873,8,4408
1088,392126,1,24181,8,4344
1089,230408,1,18577,8,2268
1090,470572,1,25873,8,3750
1091,766890,1,25237,8,3683
1092,635836,1,29905,8,4883
1093,1287784,1,41989,8,9338
1094,330958,1,18385,8,2592
1095,166096,1,18901,8,2403
1096,1168348,1,33685,8,6676
1097,1168348,1,33685,8,6868
1098,238698,1,19225,8,2255
1099,687486,1,33457,8,6211
1100,638272,1,29905,8,5370
1101,1122856,1,44089,8,11389
1102,439746,1,20641,8,2880
1103,846576,1,35593,8,7526
1104,1370304,1,49777,8,14670
1105,298512,1,24661,8,3659
1106,161410,1,12601,8,1370
1107,2322340,1,48097,8,14470
1108,1329316,1,33661,8,7166
1109,189206,1,18157,8,1948
1110,766554,1,25237,8,3717
1111,567086,1,23245,8,4120
1112,128132,1,16141,8,1845
1113,1296172,1,42613,8,10017
1114,978304,1,30697,8,5596
1115,1296172,1,42613,8,9374
1116,618772,1,33661,8,6774
1117,985296,1,28369,8,5268
1118,338934,1,25237,8,3894
1119,834474,1,33289,8,6679
1120,101092,1,12373,8,1114
1121,470572,1,25873,8,4124
1122,1336612,1,34645,8,6919
1123,0,0,21357,9,2212
1124,159353,1,21886,9,2467
1125,515625,1,35698,9,5322
1126,1989523,1,76258,9,20894
1127,1709191,1,51910,9,10412
1128,1847445,1,76702,9,18850
1129,854255,1,30802,9,5196
1130,611175,1,43006,9,7600
1131,4359835,1,74434,9,22272
1132,262025,1,28762,9,4128
1133,397073,1,37678,9,6972
1134,874443,1,38806,9,5962
1135,1696363,1,49882,9,10082
1136,672907,1,44782,9,8080
1137,681773,1,32158,9,5005
1138,2029483,1,50578,9,10730
1139,377241,1,29998,9,3693
1140,821111,1,34498,9,4858
1141,432203,1,33646,9,5247
1142,0,0,11895,9,840
1143,3393509,1,63118,9,17487
1144,241175,1,26626,9,3537
1145,5822829,1,89698,9,30713
1146,255677,1,30982,9,4967
1147,1070031,1,50602,9,9370
1148,849249,1,35698,9,5346
1149,379139,1,29218,9,4460
1150,172357,1,23434,9,2853
1151,919039,1,45742,9,8082
1152,1165377,1,38170,9,6536
1153,457071,1,32014,9,4280
1154,447885,1,35698,9,5753
1155,1058943,1,35662,9,5859
1156,796683,1,43018,9,6888
1157,2642399,1,65638,9,17509
1158,1034715,1,48730,9,9966
1159,510939,1,34630,9,5484
1160,1107049,1,40270,9,7097
1161,818301,1,35878,9,5409
1162,0,0,8589,9,470
1163,0,0,6657,9,341
1164,761479,1,42910,9,7194
1165,1272271,1,52498,9,10541
1166,1137231,1,43006,9,7792
1167,1142399,1,51034,9,11315
1168,537151,1,36406,9,4612
1169,492153,1,29266,9,3977
1170,308339,1,30106,9,3533
1171,1066091,1,37966,9,7116
1172,628999,1,38458,9,6172
1173,2467395,1,87922,9,27910
1174,959021,1,43774,9,9227
1175,716625,1,39286,9,6663
1176,1255171,1,45742,9,8147
1177,918391,1,51910,9,10074
1178,961411,1,39958,9,6038
1179,704659,1,40438,9,6025
1180,132485,1,17062,9,1755
1181,334135,1,31210,9,3634
1182,1235923,1,51346,9,10087
1183,399903,1,31714,9,3848
1184,3715303,1,69118,9,20470
1185,544053,1,35698,9,4797
1186,964387,1,40438,9,6133
1187,2320379,1,50506,9,11464
1188,661857,1,38170,9,5942
1189,1197295,1,58438,9,13383
1190,3643699,1,74722,9,23286
1191,716897,1,40222,9,6568
1192,0,0,16449,9,1394
1193,286403,1,26254,9,3404
1194,1096119,1,48730,9,10362
1195,743815,1,36790,9,5234
1196,235577,1,28630,9,3930
1197,542901,1,29266,9,3711
1198,1744527,1,47758,9,10117
1199,751883,1,36154,9,5629
1200,376407,1,29134,9,3512
1201,720837,1,39286,9,6355
1202,0,0,51657,9,9834
1203,1389654,1,76945,10,16249
1204,1243222,1,56521,10,9234
1205,383690,1,44689,10,6499
1206,1727374,1,64177,10,11357
1207,2396758,1,75553,10,14930
1208,676784,1,49993,10,8507
1209,1768818,1,76393,10,18077
1210,1475264,1,78889,10,18685
1211,427898,1,32401,10,3890
1212,160808,1,23761,10,2537
1213,5707882,1,84769,10,30072
1214,5111842,1,96457,10,30027
1215,374802,1,40009,10,6623
1216,1260786,1,56041,10,10186
1217,896626,1,66481,10,11132
1218,825498,1,60577,10,11009
1219,6164334,1,101665,10,33524
1220,1475298,1,71857,10,13061
1221,886582,1,56881,10,8616
1222,717680,1,47089,10,7266
1223,985306,1,60481,10,8390
1224,552608,1,43225,10,4948
1225,1274322,1,66721,10,11699
1226,173366,1,23881,10,2348
1227,0,0,17232,10,1251
1228,1339306,1,57937,10,9468
1229,518096,1,41353,10,6170
1230,876466,1,55465,10,9231
1231,2108296,1,74113,10,14559
1232,1234798,1,55465,10,9030
1233,1208984,1,60769,10,13024
1234,0,0,13530,10,873
1235,3772690,1,81169,10,22294
1236,216172,1,25825,10,2610
1237,382216,1,29641,10,3247
1238,895512,1,48529,10,7281
1239,1084104,1,50233,10,7482
1240,905530,1,64177,10,11137
1241,3728950,1,109681,10,32876
1242,421322,1,37537,10,4615
1243,205756,1,26809,10,3310
1244,348028,1,34705,10,4876
1245,1154130,1,67777,10,15768
1246,841622,1,56353,10,10602
1247,791946,1,42385,10,5564
1248,875658,1,62905,10,11057
1249,280810,1,23905,10,2881
1250,1884854,1,56233,10,12337
1251,0,0,16980,10,1209
1252,848530,1,56521,10,8564
1253,12011722,1,140737,10,62697
1254,281246,1,32137,10,5096
1255,1282954,1,56209,10,9026
1256,1330102,1,58465,10,9806
1257,2529162,1,77065,10,18065
1258,196204,1,24097,10,2692
1259,247688,1,25705,10,2957
1260,0,0,14514,10,976
1261,2460762,1,76657,10,16089
1262,618248,1,34321,10,4735
1263,958138,1,58753,10,9257
1264,957290,1,50713,10,10012
1265,1060110,1,68089,10,12973
1266,238244,1,26785,10,3353
1267,233860,1,27313,10,3181
1268,183434,1,27481,10,2896
1269,1334554,1,58081,10,9064
1270,497492,1,44041,10,6850
1271,2162710,1,99553,10,25532